updated: 2022-01-23_12:32:31-05:00
Equivalence Relation
A binary relation R is an equivalence relation if R satisfies these three conditions:
- R is reflexive
- if for every x, xRx
- R is symmetric
- xRy -> yRx
- R is transitive
- if for every x,y and z, xRy and yRz -> xRz